existse{-}at(${\it es}$; $i$; $e$.$P$($e$)) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\exists$$e$:es{-}E(${\it es}$). ((es{-}loc(${\it es}$; $e$) = $i$ $\in$ Id) $\wedge$ $P$($e$))